reduction semantics

归约语义学